Effective oxygen evolution reaction (OER) is critically important for the solar-fuel production from water (e.g., water ......

针对目前大多语义物联网本体的Abox体积过于庞大,不利于人们理解本体或利用本体进行推理等问题,利用等价关系,通过对等价实例的查......

本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过......

对原有的tableau-based算法进行了简化和改进,提出了标准tableau-based算法,它在保证原有算法思想的基础上删除了每次变换后所产生......